A Comparison Theorem

An isoperimetric comparison theorem

A Comparison Theorem for Simplicial Resolutions

It is well known that Barr and Beck’s definition of comonadic homology makes sense also with a functor of coefficients taking values in a semi-abelian category instead of an abelian one. The question arises whether such a homology theory has the same convenient properties as in the abelian case. Here we focus on independence of the chosen comonad: conditions for homology to depend on the induce...

A Comparison Theorem for Hamiltonian Vector Fields

The question of completeness of Hamiltonian systems is investigated for a class of potentials not necessarily bounded below. The result generalizes previous work of W. Gordon and D. Ebin. This paper extends the completeness theorem of Ebin [1] to include certain potential functions V not necessarily bounded below. The condition on V is essentially the same as a condition for a corresponding qua...

A comparison of four propositional theorem provers

A Quantitative Comparison Theorem for Nonlinear Equations

In the present paper we establish a quantitative comparison theorem for positive solutions of the following initial value problems 8 < : (p 1 (r)(u)ju 0 j m?2 u 0) 0 + q 1 (r)f(u) = 0 u(0) = u 0 ; u 0 (0) = 0 and 8 < : (p 2 (r)(v)jv 0 j m?2 v 0) 0 + q 2 (r)f(v) = 0 v(0) = v 0 ; v 0 (0) = 0 with r > 0 and m > 1, and also show some applications of the theorem to the non-existence problem of posit...